Effective Static Race Detection

Source URL: theory.stanford.edu

Theory and Applications of Mathematics & Computer Science–139 Fence-like Quasi-periodic Texture Detection in Images Randima Hettiarachchia , James Petersa,b,∗, Neil Brucec a

Source URL: cs.umanitoba.ca

Microsoft Word - Elements of Detection Theory Applied to NDE

Source URL: www.cnde.iastate.edu

Biol. Cybern. 81, 515±Interaction of ON and OFF pathways for visual contrast measurement Heiko Neumann1 , Luiz Pessoa2 , Thorsten Hanse1 1

Source URL: www.allpsych.uni-giessen.de

• Neuroscience
• Nervous system
• Visual system
• Brain
• Cerebrum
• Simple cell
• Contrast
• Retinal ganglion cell
• Control theory
• Lateral geniculate nucleus
• Feature detection
• Linear circuit

No neutrinos (yet) accompanying gravitational waves The detection of gravitational waves is an almost unprecedented success of fundamental science. It not only yields the one yet missing proof of Einstein’s Theory of G

Source URL: www.globalneutrinonetwork.org

• Physics
• Astronomy
• Gravitational-wave astronomy
• General relativity
• Neutrino astronomy
• Binary stars
• Mediterranean
• Neutrino
• First observation of gravitational waves
• IceCube Neutrino Observatory
• LIGO
• ANTARES

CS261: Exercise Set #6 For the week of February 8–12, 2016 Instructions: (1) Do not turn anything in. (2) The course staff is happy to discuss the solutions of these exercises with you in office hours or on Piazza.

Source URL: theory.stanford.edu

• Game theory
• Mathematics
• Decision theory
• Detection theory
• Game artificial intelligence
• Minimax
• Matrix
• Swap regret
• Weight

Collective Activity Detection using Hinge-loss Markov Random Fields Ben London, Sameh Khamis, Stephen H. Bach, Bert Huang, Lise Getoor, Larry Davis University of Maryland College Park, MD 20742 {blondon,sameh,bach,bert,g

Source URL: psl.umiacs.umd.edu

• Artificial intelligence
• Probability
• Statistics
• Bayesian statistics
• Markov networks
• Graphical models
• Markov random field
• Probability theory
• Image segmentation
• Probabilistic soft logic
• Activity recognition
• Support vector machine

INTERSECTED LOW-DENSITY PARITY-CHECK AND CONVOLUTIONAL CODES Edward A. Ratzer Cavendish Laboratory, University of Cambridge, Cambridge Key words to describe this work: Low-density parity-check (LDPC) codes, convolutional

Source URL: www.inference.phy.cam.ac.uk

• Error detection and correction
• Coding theory
• Information theory
• Discrete mathematics
• Information
• Low-density parity-check code
• Convolutional code
• Forward error correction
• EXIT chart
• Turbo code
• Concatenated error correction code
• ReedSolomon error correction

Indifferentiable Hashing to Elliptic and Hyperelliptic Curves Mehdi Tibouchi NTT Secure Platform Laboratories ECC Workshop 2013, 2013–09–17

Source URL: www.cosic.esat.kuleuven.be

• Hashing
• Information retrieval
• Cryptography
• Information science
• Search algorithms
• Elliptic curves
• Error detection and correction
• Analytic number theory
• Elliptic curve
• Supersingular elliptic curve
• Hash function
• BonehLynnShacham

Surveillance Event Detection Mert Dikmen, Huazhong Ning, Dennis J. Lin, Liangliang Cao, Vuong Le, Shen-Fu Tsai, Kai-Hsiang Lin, Zhen Li, Jianchao Yang, Thomas S. Huang Department of Electrical and Computer Engineering Un

Source URL: www.ifp.illinois.edu

• Artificial intelligence
• Computer vision
• Image processing
• Feature detection
• Statistical theory
• Conference on Computer Vision and Pattern Recognition
• Conditional random field
• Optical flow
• Edge detection
• Thomas Huang
• Activity recognition
• Loss function